/*
  Copyright (c) 2011 Arduino.  All right reserved.

  This library is free software; you can redistribute it and/or
  modify it under the terms of the GNU Lesser General Public
  License as published by the Free Software Foundation; either
  version 2.1 of the License, or (at your option) any later version.

  This library is distributed in the hope that it will be useful,
  but WITHOUT ANY WARRANTY; without even the implied warranty of
  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
  See the GNU Lesser General Public License for more details.

  You should have received a copy of the GNU Lesser General Public
  License along with this library; if not, write to the Free Software
  Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA
*/

#include <Arduino.h>
#include <clock.h>

#ifdef __cplusplus
extern "C"
{
#endif

    uint32_t millis(void)
    {
        // ToDo: ensure no interrupts
        return getCurrentMillis();
    }

    // Interrupt-compatible version of micros
    uint32_t micros(void)
    {
        return getCurrentMicros();
    }

    void delay(uint32_t ms)
    {
        if (ms != 0)
        {
            uint32_t start = getCurrentMillis();
            do
            {
                yield();
            } while (getCurrentMillis() - start < ms);
        }
    }


void Delay_Us (uint32_t n)  __attribute__((weak, alias("delayMicroseconds")));
void Delay_Ms (uint32_t n)  __attribute__((weak, alias("delay")));
#ifdef __cplusplus
}
#endif
